From: Florian Müllner Date: Mon, 11 Feb 2019 19:03:05 +0000 (+0100) Subject: appMenu: Remove separator in window section X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~845^2^2~273 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=d2dc072ba950d37b0a6928e6a112de70fcaf2198;p=gnome-shell.git appMenu: Remove separator in window section We currently copy the app icon menu behavior, which puts a separator between windows from the current workspace and windows from any other workspace. It is more useful to have the windows section appear as a clearly marked group, so drop the separator. https://gitlab.gnome.org/GNOME/gnome-shell/issues/968 --- diff --git a/js/ui/panel.js b/js/ui/panel.js index a1f119941..aaf9f7b99 100644 --- a/js/ui/panel.js +++ b/js/ui/panel.js @@ -174,13 +174,6 @@ class AppMenu extends PopupMenu.PopupMenu { Main.activateWindow(window, event.get_time()); }); }); - - // Add separator between windows of the current desktop and other windows. - let workspaceManager = global.workspace_manager; - let activeWorkspace = workspaceManager.get_active_workspace(); - let pos = windows.findIndex(w => w.get_workspace() != activeWorkspace); - if (pos >= 0) - this._windowSection.addMenuItem(new PopupMenu.PopupSeparatorMenuItem(), pos); } }